formal methods
n. 形式化方法
[网络] 形式方法；正规方法；正规化方法
热门查询
- philippian a. ,n. Philippi的变形
- theirs pron. 他们的；她们的；它们的
- Omer 欧麦(古希伯来的干量)
- paycheck n. 付薪水的支票，薪水
- area n. 区域，地区；面积；范围 n. (Area)人名；(西)阿雷亚
- hysterically adv. 歇斯底里地
- goliath n. 哥利亚（圣经中被大卫杀死的巨人）；巨人
- yarn n. 纱线；奇谈，故事 vt. 用纱线缠 vi. 讲故事
- temp n. 临时雇员 abbr. 温度（temperature） vt. 做临时工作
- Berthe n. (Berthe)人名；(德)贝尔特
- environment n. 环境，外界
- Chay n. 伞形花耳草
- computer n. 计算机；电脑；电子计算机
- wearily adv. 疲倦地；无聊地；厌倦地
- airbrush n. 喷枪；气笔 vt. 用气笔修（照片等）；用喷枪喷；粉饰
- cardboard n. [纸] 硬纸板；纸板箱；卡纸板 adj. 不真实的；硬纸板制的
- launderette n. 自助洗衣店
- cause n. 原因；事业；目标 vt. 引起；使遭受
- reline vt. 重新划线；换衬里；恢复原线
- coconut n. 椰子；椰子肉
考试词汇表
- variable expansion
- variable flow pump
- variable frequency
- variable furniture
- variable generator
- variable grid leak
- variable half vane
- variable incidence
- variable indicator
- variable lead time
- variable mass body
- variable mesh size
- variable mu hexode
- variable numbering
- variable pacemaker
- variable parameter
- variable partition
- variable precision
- variable propeller
- variable rate bond
